Change cargo to explicitly set curl proxy settings only when necessary
authorcalc0000 <ewf>
Wed, 18 Feb 2015 01:39:27 +0000 (20:39 -0500)
committercalc0000 <ewf>
Thu, 19 Feb 2015 04:49:11 +0000 (23:49 -0500)
commit8eb28ad65952bbfac408013d0d1367b5f8f18df7
treeabb2d4a7023c5a9c8c39566ecb168eefb45835e3
parent918a415ef36a556af671159597d9b5fac3d8a479
Change cargo to explicitly set curl proxy settings only when necessary
(when it is specified in either the cargo config or the git config).
Otherwise, use curl's logic to pick a proxy (or not).
src/bin/cargo.rs
src/cargo/ops/mod.rs
src/cargo/ops/registry.rs